English translation for "protocol verification"

协议验证

Related Translations:

integral verification method:  集成检定方法

communication protocols:  通信协议

protocol bit:  规约位

secure protocol:  安全协议

multiparty protocol:  多用户协议，多方规约

protocol failure:  记录无效

protocol emulator:  协议仿真程序

fastbus protocol:  fastbus协定

gagra protocol:  加格拉议定书

protocol mapping:  协议映射

Example Sentences:

1.

A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state 验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

Similar Words：

"protocol switch structure" English translation, "protocol terminal adaption" English translation, "protocol transcoding" English translation, "protocol transparency" English translation, "protocol unreachable" English translation, "protocol verifier" English translation, "protocol, access" English translation, "protocol, binary synchronous (bisync)" English translation, "protocol, bit-oriented (bop)" English translation, "protocol, byte control (bcp)" English translation